| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
16/02/1998 |
|
Data da última atualização: |
11/12/2007 |
|
Autoria: |
CORREA, M.; MENDES, S. |
|
Título: |
A computational approach to situation theory based on logic programming to design cognitive agents. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995. |
|
Páginas: |
p.219-231 |
|
Série: |
(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science). |
|
ISBN: |
3-540-60436-7 |
|
Idioma: |
Inglês |
|
Notas: |
SBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho. |
|
Conteúdo: |
This paper describes a framework based on logic programming to provide computational instruments to design cognitive agents and systems in situation theory. This framework provides a representation in prolog for the situation theory objects: individuals, relations, informs, situations, parameters, anchors, types (object types and situation types) and for making inferences by using rules such as "supports" and "constraints". It provides also two mechanisms for inferences: based upon backward chaining and upon forward chaining. These inferences are situated in a particular or in a general context. We conclude this paper giving examples of applications of this framework and showing how it can be used as a tool to build agents and systems having situation theory as their theoretical basis. We claim that this framework can be easily extended to include induction and belief systems. |
|
Palavras-Chave: |
Inteligencia artificial. |
|
Thesaurus Nal: |
artificial intelligence. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01688naa a2200205 a 4500
001 1005966
005 2007-12-11
008 1995 bl uuuu u00u1 u #d
020 $a3-540-60436-7
100 1 $aCORREA, M.
245 $aA computational approach to situation theory based on logic programming to design cognitive agents.
260 $c1995
300 $ap.219-231
490 $a(Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science).
500 $aSBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho.
520 $aThis paper describes a framework based on logic programming to provide computational instruments to design cognitive agents and systems in situation theory. This framework provides a representation in prolog for the situation theory objects: individuals, relations, informs, situations, parameters, anchors, types (object types and situation types) and for making inferences by using rules such as "supports" and "constraints". It provides also two mechanisms for inferences: based upon backward chaining and upon forward chaining. These inferences are situated in a particular or in a general context. We conclude this paper giving examples of applications of this framework and showing how it can be used as a tool to build agents and systems having situation theory as their theoretical basis. We claim that this framework can be easily extended to include induction and belief systems.
650 $aartificial intelligence
653 $aInteligencia artificial
700 1 $aMENDES, S.
773 $tIn: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 1 | |
| Registros recuperados : 1 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
